The modal logic of β ( N )
نویسندگان
چکیده
Let β(N) denote the Stone–Čech compactification of the set N of natural numbers (with the discrete topology), and let N∗ denote the remainder β(N)−N. We show that, interpreting modal diamond as the closure in a topological space, the modal logic of N∗ is S4 and that the modal logic of β(N) is S4.1.2.
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملON THE ORDERING OF n-MODAL CYCLES
The forcing relation on n-modal cycles is studied. If α is an nmodal cycle then the n-modal cycles with block structure that force α form a 2n-horseshoe above α. If n-modal β forces α, and β does not have a block structure over α, then β forces a 2-horseshoe of simple extensions of α.
متن کاملStrong completeness and limited canonicity for PDL and similar modal logics
Propositional dynamic logic (PDL) is complete but not compact. As a consequence, strong completeness (the property Γ |= φ ⇒ Γ ` φ) requires an infinitary proof system. In this paper, we present a short proof for strong completeness of PDL relative an infinitary proof system containing the rule from [α;βn]φ for all n ∈ N, conclude [α;β∗]φ. The proof uses a universal canonical model, and it is ge...
متن کاملModal Operator Fα,β in Intuitionistic Fuzzy Groups
In this paper, we study modal operator F α,β in intuitionistic fuzzy subgroup of a group and derive some results. 1. Introduction The idea of intuitionistic fuzzy sets (IFSs) was given by [1, 2] to generalize the notion of fuzzy sets (FSs). Intuitionistic fuzzy modal operator was defined by Atanassov in [3]. The modal operators have been known to be important tools for IFSs where the operators ...
متن کاملScattered and hereditarily irresolvable spaces in modal logic
When we interpret modal ♦ as the limit point operator of a topological space, the Gödel-Löb modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices Sα , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009